SAT Based Automated Test Case Generation For MUMCUT Coverage
نویسندگان
چکیده
MUMCUT is a criterion for testing Boolean specifications. The traditional test case generation methods for this problem are based on approximate approaches. The efficiency of these algorithms depend on the designers’ experience on this coverage. In this paper, the authors apply SAT based method to solve this problem. Two SAT solvers, walksat and zChaff, are employed to generate approximate and optimal test case set respectively. The experimental results show that the two SAT methods are efficient.
منابع مشابه
An Empirical Evaluation and Analysis of the Fault-Detection Capability of MUMCUT for General Boolean Expressions
Boolean expressions are extensively used in software specifications. It is important to generate a small-sized test set for Boolean expressions without sacrificing the fault-detection capability. MUMCUT is an efficient test case generation strategy for Boolean expressions in Irredundant Disjunctive Normal Form (IDNF). In the real world, however, Boolean expressions written by a software designe...
متن کاملAn Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage
This paper presents comparisons of the MinimalMUMCUT logic criterion and prime path coverage. A theoretical comparison of the two criteria is performed in terms of (1) how well tests satisfying one criterion satisfy the other and (2) fault detection. We then compare the criteria experimentally. For 22 programs, we develop tests to satisfy Minimal-MUMCUT and prime path coverage. We use these tes...
متن کاملFunctional Test Generation using Constraint Logic Programming
Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vectors, guided by miscellaneous coverage metrics to satisfy the simulation target, can be posed as a satisfiability problem (SAT). This paper presents a novel approach to solving SAT based on Constraint Logic Programming (CLP) ...
متن کاملA SAT-based Method for Basis Path Testing using KodKod
A large portion of automated testing techniques has been developed for the statement or branch test coverage criteria. Among structural criteria, however, research on basis path testing has received little attention. The basis path testing requires a set of basis paths to be executed during testing. However, traditional testing methods for basis path generation consider only the control flow of...
متن کاملIncorporating Design Knowledge into Genetic Algorithm-based White-Box Software Test Case Generators
This thesis shows how to incorporate Unified Modeling Language sequence diagrams into genetic algorithm-based automated test case generators to increase the code coverage of their resulting test cases. Automated generation of test data through evolutionary testing was proven feasible in prior research studies. In those previous investigations, the metrics used for determining the test generatio...
متن کامل